#define _GNU_SOURCE 

#include <sched.h>
#include <nkfm.h>


NK_PRIVATE static int current_cpu;


void nkfm_sched(int cpu)
{
	cpu_set_t set;

	CPU_ZERO(&set);
	CPU_SET(cpu, &set);

	sched_setaffinity(0, sizeof(set), &set);

	current_cpu = cpu;

	return;
}




